InvalidNamePartLambda.agda:1,19-19
InvalidNamePartLambda.agda:1,19: in the name _λ_, the part λ is not valid because it is used for lambda-abstraction
→<ERROR>
 Set
...
